循環証明体系におけるカット除去性と帰納的述語記号の Arity